Computer systems

Results: 26232



#Item
31Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:24
    32Postdoctoral Positions in Bioinformatics Dept. Electrical and Computer Engineering & TEES-AgriLife Center for Bioinformatics and Genomic Systems Engineering (CBGSE) Texas A&M University College Station, Texas https://eng

    Postdoctoral Positions in Bioinformatics Dept. Electrical and Computer Engineering & TEES-AgriLife Center for Bioinformatics and Genomic Systems Engineering (CBGSE) Texas A&M University College Station, Texas https://eng

    Add to Reading List

    Source URL: www.cls.zju.edu.cn

    Language: English - Date: 2016-11-25 23:27:10
      33Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

      Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

      Add to Reading List

      Source URL: iea.lth.se

      Language: English - Date: 2015-10-07 08:53:06
        34Cryptography, homework sheet 5 Due for 2MMC10: 12 October 2017, 10:45 and for Mastermath: 23 November 2017, 10:45 by email to You may use computer algebra systems such as mathematica, gp, or sage or

        Cryptography, homework sheet 5 Due for 2MMC10: 12 October 2017, 10:45 and for Mastermath: 23 November 2017, 10:45 by email to You may use computer algebra systems such as mathematica, gp, or sage or

        Add to Reading List

        Source URL: www.hyperelliptic.org

        Language: English - Date: 2017-10-12 20:02:20
          35The UMD Machine Translation Systems at IWSLT 2016: English-to-French Translation of Speech Transcripts Xing Niu, Marine Carpuat Dept. of Computer Science University of Maryland, College Park {xingniu,marine}@cs.umd.edu

          The UMD Machine Translation Systems at IWSLT 2016: English-to-French Translation of Speech Transcripts Xing Niu, Marine Carpuat Dept. of Computer Science University of Maryland, College Park {xingniu,marine}@cs.umd.edu

          Add to Reading List

          Source URL: workshop2016.iwslt.org

          Language: English - Date: 2016-12-09 18:55:21
            36Journal of Computer and Systems Sciences International, Vol. 43, No. 2, 2004, pp. 278–287. Translated from Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya, No. 2, 2004, pp. 126–136. Original Russian Text Copyr

            Journal of Computer and Systems Sciences International, Vol. 43, No. 2, 2004, pp. 278–287. Translated from Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya, No. 2, 2004, pp. 126–136. Original Russian Text Copyr

            Add to Reading List

            Source URL: www.ipme.ru

            Language: English - Date: 2012-02-13 16:41:23
              37CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory

              CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory

              Add to Reading List

              Source URL: www-vlsi.stanford.edu

              Language: English - Date: 2009-05-29 13:24:50
                38GI-Edition Gesellschaft für Informatik e.V. (GI) publishes this series in order to make available to a broad public recent findings in informatics (i.e. computer science and information systems), to document conference

                GI-Edition Gesellschaft für Informatik e.V. (GI) publishes this series in order to make available to a broad public recent findings in informatics (i.e. computer science and information systems), to document conference

                Add to Reading List

                Source URL: at.informatik.uni-halle.de

                Language: English - Date: 2010-11-26 07:57:58
                  39The Prices of Packets and Watts:
 Optimal Operation of Decentralized Stochastic Systems P. R. Kumar Dept. of Electrical and Computer Engineering Texas A&M University

                  The Prices of Packets and Watts:
 Optimal Operation of Decentralized Stochastic Systems P. R. Kumar Dept. of Electrical and Computer Engineering Texas A&M University

                  Add to Reading List

                  Source URL: www.necsys2016.ctrl.titech.ac.jp

                  Language: English - Date: 2016-09-13 14:55:38
                    40Robustly Secure Computer Systems: A New Security Paradigm of System Discontinuity ∗ Jon A. Solworth

                    Robustly Secure Computer Systems: A New Security Paradigm of System Discontinuity ∗ Jon A. Solworth

                    Add to Reading List

                    Source URL: www.ethos-os.org

                    Language: English - Date: 2017-04-30 19:19:48